$\forall$${\it TypeNames}$:Type, $d$:DS(${\it TypeNames}$), $a$:${\it TypeNames}$. dstype(${\it TypeNames}$; $d$; $a$) $\in$ Type